大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IMACS Symposium on Artificial Intelligence 的图书(共3224本)

Unifying Theories of Programming [electronic resource] : Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings

0
索取号：
作者：Qin、 Shengchao.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computational Intelligence in Security for Information Systems 2010 [electronic resource] : Proceedings of the 3rd International Conference on Computational Intelligence in Security for Information Systems (CISIS鈥ᰩ

0
索取号：
作者：Herrero、 脕lvaro.、Corchado、 Emilio.、Redondo、 Carlos.、Alonso、 脕ngel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

HCI in Work and Learning, Life and Leisure [electronic resource] : 6th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering, USAB 2010, Klagenfurt, Austria, November 4-5, 2010. Proceedings

0
索取号：
作者：Leitner、 Gerhard.、Hitz、 Martin.、Holzinger、 Andreas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

0
索取号：
作者：Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

0
索取号：
作者：Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Artificial Intelligence and Computational Intelligence [electronic resource] : International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part I

0
索取号：
作者：Wang、 Fu Lee.、Deng、 Hepu.、Gao、 Yang.、Lei、 Jingsheng.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Artificial Intelligence and Computational Intelligence [electronic resource] : International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part II

0
索取号：
作者：Wang、 Fu Lee.、Deng、 Hepu.、Gao、 Yang.、Lei、 Jingsheng.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Advances in Computation and Intelligence [electronic resource] : 5th International Symposium, ISICA 2010, Wuhan, China, October 22-24, 2010. Proceedings

0
索取号：
作者：Cai、 Zhihua.、Hu、 Chengyu.、Kang、 Zhuo.、Liu、 Yong.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Implementation and Application of Functional Languages [electronic resource] : 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers

0
索取号：
作者：Moraz谩n、 Marco T.、Scholz、 Sven-Bodo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computational Intelligence and Intelligent Systems [electronic resource] : 5th International Symposium, ISICA 2010, Wuhan, China, October 22-24, 2010. Proceedings

0
索取号：
作者：Cai、 Zhihua.、Tong、 Hengjian.、Kang、 Zhuo.、Liu、 Yong.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Ubiquitous Intelligence and Computing [electronic resource] : 7th International Conference, UIC 2010, Xi鈥檃n, China, October 26-29, 2010. Proceedings

0
索取号：
作者：Yu、 Zhiwen.、Liscano、 Ramiro.、Chen、 Guanling.、Zhang、 Daqing.、Zhou、 Xingshe.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

String Processing and Information Retrieval [electronic resource] : 17th International Symposium, SPIRE 2010, Los Cabos, Mexico, October 11-13, 2010. Proceedings

0
索取号：
作者：Chavez、 Edgar.、Lonardi、 Stefano.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Modeling Decisions for Artificial Intelligence [electronic resource] : 7th International Conference, MDAI 2010, Perpignan, France, October 27-29, 2010. Proceedings

0
索取号：
作者：Torra、 Vicen莽.、Narukawa、 Yasuo.、Daumas、 Marc.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Semantic Web Rules [electronic resource] : International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010. Proceedings

0
索取号：
作者：Dean、 Mike.、Hall、 John.、Rotolo、 Antonino.、Tabet、 Said.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Brain, Body and Machine [electronic resource] : Proceedings of an International Symposium on the Occasion of the 25th Anniversary of the McGill University Centre for Intelligent Machines

0
索取号：
作者：Angeles、 Jorge.、Boulet、 Benoit.、Clark、 James J.、K枚vecses、 J贸zsef.、Siddiqi、 Kaleem.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings

0
索取号：
作者：Ferm眉ller、 Christian G.、Voronkov、 Andrei.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.